list\_all($x$.$P$($x$);$l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$a$,$b$. $P$($a$) \& $b$;True;$l$)